A generalized super AKNS hierarchy associated with orthosymplectic Lie superalgebra OSP(2,2) and its super bi-Hamiltonian structures

For the orthosymplectic Lie superalgebra $\text{◂⋅▸}OSP(2,2)$, we choose a set of basis matrices. A linear combination of those basis matrices presents a spatial spectral matrix. The compatible condition of the spatial part and the corresponding temporal parts of the spectral problem leads to a generalized super AKNS (GSAKNS) hierarchy. By making use of the supertrace identity, the obtained GSAKNS hierarchy can be written as the super bi-Hamiltonian structures.     

NO分子宏观气体热力学性质的理论研究

采用量子统计系综理论,研究了基态NO分子宏观气体摩尔熵、摩尔内能、摩尔热容等热力学性质.首先应用课题组前期建立的变分代数法(variational algebraic method, VAM)计算获得了基态NO分子的完全振动能级,得到的VAM振动能级作为振动部分,结合欧拉-麦克劳林渐进展开公式的转动贡献,应用于经典的热力学与统计物理公式中,从而计算得到了1000-5000 K温度范围内NO宏观气体的摩尔内能、摩尔熵和摩尔热容.将不同方法计算得到的摩尔热容结果分别与实验值进行比较,结果表明基于VAM完全振动能级获得的结果优于其他方法获得的理论结果.振动部分采用谐振子模型对无限能级求和计算热力学性质的方法有一定的局限性,应当使用有限的完全振动能级进行统计求和.     

三维位势问题的梯度边界积分方程的新解法

三维位势问题的边界元分析中,关于坐标变量的边界位势梯度的计算是一个困难的问题. 已有一些方法着手解决这个问题,然而,这些方法需要复杂的理论推导和大量的数值计算. 本文提出求解一般边界位势梯度边界积分方程的辅助边值问题法. 该方法构造了与原边界值问题具有相同解域的辅助边值问题,该辅助边值问题具有已知解,因此通过求解此辅助边值问题,可获得梯度边界积分方程对应的系统矩阵,然后将此系统矩阵应用于求解原边值问题,求解过程非常简单,只需求解一个线性系统即可获得原边值问题的解. 值得注意的是,在求解原边值问题时,不再需要重新计算系统矩阵,因此辅助边值问题法的效率并不很差. 辅助边值问题法避免了强奇异积分的计算,具有数学理论简单、程序设计容易、计算精度高等优点,为坐标变量梯度边界积分方程的求解提供了一个新的途径. 3个标准的数值算例验证了方法的有效性.      

A survey of surface tension,molar volume and density for Sn–Ag–Cu–Bi–Sb quinary alloys as lead-free solders

ABSTRACT

By applying the geometric models and the theoretical equation, the surface tension, the molar volume and the density were studied. The empirical calculations were carried out in temperature range 623?K?≤?T?≤?1123?K. Only few thermophysical properties were estimated for eight quinary alloys: Sn3.55Ag0.5Cu3Bi3Sb, Sn3.48Ag0.5Cu3Bi5Sb, Sn3.48 Ag0.5Cu5Bi3Sb, Sn3.40 Ag0.5Cu5Bi5Sb, Sn3.53Ag1Cu3Bi3Sb, Sn3.46Ag1Cu3Bi5Sb, Sn3.46Ag1Cu5Bi3Sb, Sn3.38Ag1Cu5Bi5Sb. The results show that surface tension and density have a linear appearance for all temperatures. We have also studied the influence of the composition and temperature in the studied alloys. The obtained theoretical results are compared with the experimental ones and with the conventional Pb–Sn welds.     

Response surface methodology toward the optimization of high-energy carotenoid extraction from Aristeus antennatus shrimp

High-energy assisted extraction techniques, like ultrasound assisted extraction (UAE) and microwave assisted extraction (MAE), are widely applied over the last years for the recovery of bioactive compounds such as carotenoids, antioxidants and phenols from foods, animals and herbal natural sources. Especially for the case of xanthophylls, the main carotenoid group of crustaceans, they can be extracted in a rapid and quantitative way with the use of UAE and MAE.     

An Update on Molecularly Imprinted Polymer Design through a Computational Approach to Produce Molecular Recognition Material with Enhanced Analytical Performance

Molecularly imprinted polymer (MIP) computational design is expected to become a routine technique prior to synthesis to produce polymers with high affinity and selectivity towards target molecules. Furthermore, using these simulations reduces the cost of optimizing polymerization composition. There are several computational methods used in MIP fabrication and each requires a comprehensive study in order to select a process with results that are most similar to properties exhibited by polymers synthesized through laboratory experiments. Until now, no review has linked computational strategies with experimental results, which are needed to determine the method that is most appropriate for use in designing MIP with high molecular recognition. This review will present an update of the computational approaches started from 2016 until now on quantum mechanics, molecular mechanics and molecular dynamics that have been widely used. It will also discuss the linear correlation between computational results and the polymer performance tests through laboratory experiments to examine to what extent these methods can be relied upon to obtain polymers with high molecular recognition. Based on the literature search, density functional theory (DFT) with various hybrid functions and basis sets is most often used as a theoretical method to provide a shorter MIP manufacturing process as well as good analytical performance as recognition material.     

Metamorphic InAs(Sb)/InGaAs/InAlAs nanoheterostructures grown on GaAs for efficient mid-IR emitters

High-efficiency semiconductor lasers and light-emitting diodes operating in the 3–5?μm mid-infrared (mid-IR) spectral range are currently of great demand for a wide variety of applications, in particular, gas sensing, noninvasive medical tests, IR spectroscopy etc. III-V compounds with a lattice constant of about 6.1?Å are traditionally used for this spectral range. The attractive idea to fabricate such emitters on GaAs substrates by using In(Ga,Al)As compounds is restricted by either the minimum operating wavelength of ～8?μm in case of pseudomorphic AlGaAs-based quantum cascade lasers or requires utilization of thick metamorphic In_xAl_1-xAs buffer layers (MBLs) playing a key role in reducing the density of threading dislocations (TDs) in an active region, which otherwise result in a strong decay of the quantum efficiency of such mid-IR emitters. In this review we present the results of careful investigations of employing the convex-graded In_xAl_1-xAs MBLs for fabrication by molecular beam epitaxy on GaAs (001) substrates of In(Ga,Al)As heterostructures with a combined type-II/type-I InSb/InAs/InGaAs quantum well (QW) for efficient mid-IR emitters (3–3.6?μm). The issues of strain relaxation, elastic stress balance, efficiency of radiative and non-radiative recombination at T?=?10–300?K are discussed in relation to molecular beam epitaxy (MBE) growth conditions and designs of the structures. A wide complex of techniques including in-situ reflection high-energy electron diffraction, atomic force microscopy (AFM), scanning and transmission electron microscopies, X-ray diffractometry, reciprocal space mapping, selective area electron diffraction, as well as photoluminescence (PL) and Fourier-transformed infrared spectroscopy was used to study in detail structural and optical properties of the metamorphic QW structures. Optimization of the growth conditions (the substrate temperature, the As₄/III ratio) and elastic strain profiles governed by variation of an inverse step in the In content profile between the MBL and the InAlAs virtual substrate results in decrease in the TD density (down to 3?×?10⁷ cm^?2), increase of the thickness of the low-TD-density near-surface MBL region to 250–300?nm, the extremely low surface roughness with the RMS value of 1.6–2.4?nm, measured by AFM, as well as rather high 3.5?μm-PL intensity at temperatures up to 300?K in such structures. The obtained results indicate that the metamorphic InSb/In(Ga,Al)As QW heterostructures of proper design, grown under the optimum MBE conditions, are very promising for fabricating the efficient mid-IR emitters on a GaAs platform.     

A Structural Entropy Measurement Principle of Propositional Formulas in Conjunctive Normal Form

The satisfiability (SAT) problem is a core problem in computer science. Existing studies have shown that most industrial SAT instances can be effectively solved by modern SAT solvers while random SAT instances cannot. It is believed that the structural characteristics of different SAT formula classes are the reasons behind this difference. In this paper, we study the structural properties of propositional formulas in conjunctive normal form (CNF) by the principle of structural entropy of formulas. First, we used structural entropy to measure the complex structure of a formula and found that the difficulty solving the formula is related to the structural entropy of the formula. The smaller the compressing information of a formula, the more difficult it is to solve the formula. Secondly, we proposed a λ-approximation strategy to approximate the structural entropy of large formulas. The experimental results showed that the proposed strategy can effectively approximate the structural entropy of the original formula and that the approximation ratio is more than 92%. Finally, we analyzed the structural properties of a formula in the solution process and found that a local search solver tends to select variables in different communities to perform the next round of searches during a search and that the structural entropy of a variable affects the probability of the variable being flipped. By using these conclusions, we also proposed an initial candidate solution generation strategy for a local search for SAT, and the experimental results showed that this strategy effectively improves the performance of the solvers CCAsat and Sparrow2011 when incorporated into these two solvers.